nested quantifiers in discrete mathematics